Semantics of programming languages - PDFSEARCH.IO - Document Search Engine

Semantics of programming languages
Results: 156

#	Item
141	Domain-Specific Languages Walid Taha Department of Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-09-25 18:15:46 Domain-specific language Functional languages Logic in computer science Programming language Preprocessor Actor model Semantics of programming languages ALGOL 68 ISWIM Software engineering Computing Programming language theory
142	A Functional Specification of Effects Wouter Swierstra Add to Reading List Source URL: etheses.nottingham.ac.uk Language: English - Date: 2009-06-04 05:04:25 Logic in computer science Type theory Functional languages Adjoint functors Programming paradigms Monad Functional programming Haskell Denotational semantics Software engineering Computing Theoretical computer science
143	A Brief Scientific Biography of Robin Milner Gordon Plotkin, Colin Stirling & Mads Tofte Robin Milner was born in 1934 to John Theodore Milner and Muriel Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-28 12:43:45 Logic in computer science Functional languages Type theory Formal methods Models of computation Denotational semantics Logic for Computable Functions ML Robin Milner Theoretical computer science Software engineering Programming language theory
144	Semantics of Context-Free Languages by DONALD E. KNUTH Add to Reading List Source URL: www.csee.umbc.edu Language: English - Date: 2011-05-04 17:06:19 Computing Attribute grammar Compiler construction Parsing Formal grammar Four-square cipher Classical cipher Formal languages Computer programming Software engineering
145	✂✁✄ ✂☎✝✆✟✞✡✠☞☛✍✌✎✞✑✏✓✒✕✔✗✖ ✘✚✙✜✛✢✠✡✘✤✣✥✠☞☛✤✦✧✦✄✒★✁✩✣✫✪✬☛✚✁✩✣✮✭✯☛✰✣✮✔✱✆✳✲ ✶✴ ✵✳✷✹✸✻✺✗✼✾✽❀✿❁✽☞✷✹✷❂✼ ❃❅❄❂❆❅❇✟❈❉✽✡❊●❋✗✽✡✵✳✺✳❍■❇✟✽✹❈✚❏●✽☞❑▼▲✰❇☞◆❖◗✼❘❇ Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:27:46 Logic in computer science Adjoint functors Denotational semantics Monad Categorical logic Universal property Semantics of programming languages Structure Model theory Category theory Mathematics Theoretical computer science
146	The Origins of Structural Operational Semantics Gordon D. Plotkin Laboratory for Foundations of Computer Science, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Logic in computer science Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Lambda calculus Programming Computable Functions Theoretical computer science Computer science Applied mathematics
147	Component-Based Description of Programming Languages Peter D. Mosses Add to Reading List Source URL: www.bcs.org Language: English - Date: 2011-01-10 14:16:37 Software engineering Programming language theory Formal languages Denotational semantics Procedural programming languages Operational semantics Semantics Action semantics Programming language Theoretical computer science Logic in computer science Programming language semantics
148	PDF Document Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2012-09-28 04:11:44 Models of computation Logic in computer science Functional languages Programming paradigms Lambda calculus John von Neumann Denotational semantics FP Functional programming Software engineering Computing Mathematics
149	PDF Document Add to Reading List Source URL: www.cs.unipr.it Language: English - Date: 2013-08-29 05:40:27 Logic in computer science Data types Formal methods Programming language semantics Type theory Abstract interpretation Operational semantics Programming language Semantics of programming languages Theoretical computer science Programming language theory Software engineering
150	PDF Document Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-02-16 14:50:09 Mathematics Formal methods Semantics of programming languages Operational semantics Programming language Formal verification Compiler correctness Axiomatic semantics Logic Theoretical computer science Logic in computer science Software engineering

UPDATE